DEF=with-config
TESTDIR=.
KOMPILE_BACKEND=haskell

include ../../../include/kframework/ktest.mak
